<html>
<head><meta charset="utf-8"><title>meeting 2019.10.29 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html">meeting 2019.10.29</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="179362679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362679">(Oct 29 2019 at 19:00)</a>:</h4>
<p>ah right, <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> with our DST I'm not sure either when is the meeting, now or in an hour <span class="user-mention" data-user-id="116009">@nikomatsakis</span> ? in any case I myself don't have a lot to say this time, maybe that can allow for Niko to catch up on the previous weeks questions/PRs ?</p>



<a name="179362725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362725">(Oct 29 2019 at 19:00)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> that sounds reasonable</p>



<a name="179362728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362728">(Oct 29 2019 at 19:00)</a>:</h4>
<p>I've been swamped ;)</p>



<a name="179362780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362780">(Oct 29 2019 at 19:01)</a>:</h4>
<p>you don't say :)</p>



<a name="179362799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362799">(Oct 29 2019 at 19:01)</a>:</h4>
<p>is it supposed to be now ?</p>



<a name="179362879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362879">(Oct 29 2019 at 19:02)</a>:</h4>
<p>(likely, as it used to at 9PM and it's now 8PM with the 1hour switch)</p>



<a name="179362882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362882">(Oct 29 2019 at 19:02)</a>:</h4>
<p>I believe so</p>



<a name="179362891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362891">(Oct 29 2019 at 19:02)</a>:</h4>
<p>fwiw next week I think we're aligned again</p>



<a name="179362905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362905">(Oct 29 2019 at 19:02)</a>:</h4>
<p>I've been thinking about that idea of a polonius week :)</p>



<a name="179362940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179362940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179362940">(Oct 29 2019 at 19:03)</a>:</h4>
<p>(just in case you haven't seen it I've mentioned in the other topic I'll be away at rustfest next week, and might miss the next couple meetings because of that)</p>



<a name="179363059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363059">(Oct 29 2019 at 19:04)</a>:</h4>
<p>ok, Id idn't see that yet, but I will go catch up on topics</p>



<a name="179363107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363107">(Oct 29 2019 at 19:04)</a>:</h4>
<p>I'm thinking about trying to pick a date for a polonius focus week -- probably early dec -- and then coming up with some list of tasks that, if I can get them done, justify such a luxurious thing</p>



<a name="179363156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363156">(Oct 29 2019 at 19:05)</a>:</h4>
<p>some of list of tasks to achieve during the polonius week ?</p>



<a name="179363204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363204">(Oct 29 2019 at 19:05)</a>:</h4>
<p>which would be worthwhile enough to justify said week heh :)</p>



<a name="179363360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363360">(Oct 29 2019 at 19:07)</a>:</h4>
<p>let me ask this question -- if I were going to try and focus largly on polonius, would Nov 18-22 or Dec 2-6 be better... the week of Nov 25-29 I'll be Iceland <span aria-label="frosty" class="emoji emoji-26c4" role="img" title="frosty">:frosty:</span> <span aria-label="snowflake" class="emoji emoji-2744" role="img" title="snowflake">:snowflake:</span></p>



<a name="179363483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363483">(Oct 29 2019 at 19:09)</a>:</h4>
<p>I myself could make either work, what about <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> ? <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> I'd assume it would be hard for you ?</p>



<a name="179363635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363635">(Oct 29 2019 at 19:11)</a>:</h4>
<p>(they might reply asynchronously :)</p>



<a name="179363656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363656">(Oct 29 2019 at 19:11)</a>:</h4>
<p>yep</p>



<a name="179363660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179363660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179363660">(Oct 29 2019 at 19:11)</a>:</h4>
<p>I'll try to catch up a bit</p>



<a name="179364203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179364203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179364203">(Oct 29 2019 at 19:18)</a>:</h4>
<p>I think December would be slightly better for me, but both would work!</p>



<a name="179364661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179364661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179364661">(Oct 29 2019 at 19:23)</a>:</h4>
<p>so the downside of Dec would be that I am just getting back from vacation. Maybe Nov is wiser.</p>



<a name="179364672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179364672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179364672">(Oct 29 2019 at 19:23)</a>:</h4>
<p>Getting <em>back</em> from vacation usually means a lot of accumulated things to catch up on :)</p>



<a name="179364965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179364965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179364965">(Oct 29 2019 at 19:26)</a>:</h4>
<p>let's pencil in november then, at least until we know more about whether Albin and Matthew can/want to participate</p>



<a name="179365102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179365102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179365102">(Oct 29 2019 at 19:27)</a>:</h4>
<p>Sounds good!</p>



<a name="179365190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179365190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179365190">(Oct 29 2019 at 19:28)</a>:</h4>
<p>I probably can't spend 8 hours a day, but I'll see how much I can sneak from my PhD studies :)</p>



<a name="179365205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179365205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179365205">(Oct 29 2019 at 19:28)</a>:</h4>
<p>I'll make sure to be able to do SOMETHING every day at least</p>



<a name="179365369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179365369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179365369">(Oct 29 2019 at 19:30)</a>:</h4>
<blockquote>
<p>I probably can't spend 8 hours a day, but I'll see how much I can sneak from my PhD studies :)</p>
</blockquote>
<p>heh probably I can't either but I"m going to think hard about what I <em>can</em> do</p>



<a name="179366281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366281">(Oct 29 2019 at 19:39)</a>:</h4>
<p>Here's what I think we should do:</p>



<a name="179366367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366367">(Oct 29 2019 at 19:40)</a>:</h4>
<p>I think we should try to schedule a 1hr meeting (but when!) to "pre-plan" goals for work week -- maybe we can extend this meeting next wek?</p>



<a name="179366414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366414">(Oct 29 2019 at 19:40)</a>:</h4>
<p>one thing I think would be helpful would be just kind of enumerating "all the in-flight things"</p>



<a name="179366421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366421">(Oct 29 2019 at 19:40)</a>:</h4>
<p>I sort of feel like we did this last time though</p>



<a name="179366429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366429">(Oct 29 2019 at 19:40)</a>:</h4>
<p>so feel free to point me to a list</p>



<a name="179366446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366446">(Oct 29 2019 at 19:41)</a>:</h4>
<p>Agreed!</p>



<a name="179366818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366818">(Oct 29 2019 at 19:44)</a>:</h4>
<p>ok I'll try to make myself available next week, and we have the beginnings of such list of in-flight things, let me get you the link</p>



<a name="179366917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179366917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179366917">(Oct 29 2019 at 19:46)</a>:</h4>
<p>it's <a href="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A" target="_blank" title="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A">https://hackmd.io/wGwGGRCKStiWBq9voP4e2A</a> and I'll update it by next week so that it contains all we've done in the last 2 months</p>



<a name="179367156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367156">(Oct 29 2019 at 19:48)</a>:</h4>
<p>Does this mean the meeting is over now?</p>



<a name="179367206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367206">(Oct 29 2019 at 19:48)</a>:</h4>
<p>niko has likely flown away to greener pastures :)</p>



<a name="179367220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367220">(Oct 29 2019 at 19:49)</a>:</h4>
<p>so let's say that it is</p>



<a name="179367364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367364">(Oct 29 2019 at 19:50)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="179367616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367616">(Oct 29 2019 at 19:54)</a>:</h4>
<p>(I didn't have a lot of time for polonius this week as I investigated niko's universes PR, and did a couple of rustc bisections, and will not have a lot this week either, but will get the list updated for sure)</p>



<a name="179367666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367666">(Oct 29 2019 at 19:54)</a>:</h4>
<p>heh sorry got distracted :)</p>



<a name="179367670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367670">(Oct 29 2019 at 19:55)</a>:</h4>
<p>one thing I did also want to mention</p>



<a name="179367681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367681">(Oct 29 2019 at 19:55)</a>:</h4>
<p>I have some pretty concrete ideas about how traits + region checking + polonius should interact</p>



<a name="179367686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367686">(Oct 29 2019 at 19:55)</a>:</h4>
<p>that I have had no time to explore</p>



<a name="179367693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367693">(Oct 29 2019 at 19:55)</a>:</h4>
<p>we may or may not talk about them in next week's traits design meeting</p>



<a name="179367704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367704">(Oct 29 2019 at 19:55)</a>:</h4>
<p>but if not we should consider scheduling a one-off discussion on the topic, and/or I can work on blog posts, etc</p>



<a name="179367872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367872">(Oct 29 2019 at 19:57)</a>:</h4>
<p>I was going to mention this earlier actually, since it links both wg-traits and wg-polonius in a sense, esp if that implies polonius requiring chalk in rustc</p>



<a name="179367993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179367993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179367993">(Oct 29 2019 at 19:58)</a>:</h4>
<p>and this work is arguably worthwhile for a focus week :p</p>



<a name="179368028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368028">(Oct 29 2019 at 19:59)</a>:</h4>
<p>yes!</p>



<a name="179368035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368035">(Oct 29 2019 at 19:59)</a>:</h4>
<p>interesting</p>



<a name="179368180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368180">(Oct 29 2019 at 20:00)</a>:</h4>
<p>(I also can't help but think about XSB, the datalog engine using a SLG solver :p)</p>



<a name="179368257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368257">(Oct 29 2019 at 20:01)</a>:</h4>
<p>Is XSB a datalog engine?</p>



<a name="179368282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368282">(Oct 29 2019 at 20:01)</a>:</h4>
<p>I just thought it was a general logic engine</p>



<a name="179368285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368285">(Oct 29 2019 at 20:01)</a>:</h4>
<p>Maybe I never looked that closely :)</p>



<a name="179368288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368288">(Oct 29 2019 at 20:01)</a>:</h4>
<p>yeah maybe general</p>



<a name="179368291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368291">(Oct 29 2019 at 20:01)</a>:</h4>
<p>I tried e-mailing the author a time or two but we never arranged a time to really talk</p>



<a name="179368378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.29/near/179368378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E29.html#179368378">(Oct 29 2019 at 20:02)</a>:</h4>
<p>I have read a couple of "totally unbiased I promise" papers  of theirs where they boast better perf than logicblox with leapfrog triejoin and Demand Transformation (Frank has forever messed with my recollection of the join's name...)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>